int magic_value();
